0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Intuitionistic Logic" - alle Bücher

    Ihre Suche nach "Intuitionistic Logic" (Bücher) ergab 3 Treffer.

    Ansicht:

    Dick de Jongh on Intuitionistic and Provability Logics

    This book is dedicated to Dick de Jongh¿s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh¿s origin…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Automated Reasoning

    Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, Fra…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Automated Reasoning

    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full r…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.